A proof procedure for adaptive logics

In this paper I present a procedure that generates adaptive proofs for finally derivable adaptive logic consequences. The proof procedure for the inconsistency adaptive logic CLuNr is already presented in [10]. In this paper the procedure for CLuNm is presented and the results for both logics are generalized to all adaptive logics, on the presupposition that there exists a total proof procedure for lower limit logic derivability of the adaptive logic and a finite set of problem relevant abnormalities.